Computer Aided Verification - PDFSEARCH.IO - Document Search Engine

Computer Aided Verification
Results: 34

#	Item
11	Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1 Add to Reading List Source URL: www.cs.berkeley.edu - Date: 2010-10-29 12:59:27
12	c Published in “Computer Aided Verification” (CAV), 2005, pp. 476–490. Springer-Verlag, 2005. Data Structure Specifications via Local Equality Axioms Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:26
13	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
14	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
15	Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name : Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2010-07-26 09:37:27 Scientific modelling Formal methods Science Knowledge Ethology Model checking RWTH Aachen University Computer Aided Verification
16	Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-08-24 05:32:58 Computer Aided Verification Runtime verification Computer science Model checking Real-time computing Theoretical computer science Formal methods Orc
17	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
18	Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing
19	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
20	Memorandum Date: June 13, 2013 From: Add to Reading List Source URL: www.fda.gov Language: English Doping Drug control law Drug test Employment Physics Milk Computer-aided audit tools Verification and validation Data analysis Science Information technology audit Food safety

UPDATE